Listar por tema "Sistemas de reescritura"
Mostrando ítems 1-2 de 2
-
Automatic proof-search heuristics in the Maude invariant analyzer tool
(Switzerland, 2013)The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This ... -
A Graphical Environment for the Semantic Validation of a Plan Execution Language
(© Copyright 2021 IEEEUSA., 2009)This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...